1. $A$ : $\mathbb{P}$ \\[0ex]2. $B$ : $\mathbb{P}$ \\[0ex]3. $\neg$$A$ \\[0ex]4. $A$ $\Rightarrow$ $B$ \\[0ex]5. $A$ $\Leftarrow\!$ $B$ \\[0ex]6. $B$ \\[0ex]$\vdash$ False